Data structures - PDFSEARCH.IO - Document Search Engine

Data structures
Results: 1048

#	Item
391	Tango: Distributed Data Structures over a Shared Log Mahesh Balakrishnan∗, Dahlia Malkhi∗, Ted Wobber∗, Ming Wu‡, Vijayan Prabhakaran∗ Michael Wei§, John D. Davis∗, Sriram Rao†, Tao Zou¶, Aviad Zuckk ∗ Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-25 01:19:29 Database management systems Relational database management systems Extensible Storage Engine Algorithms for Recovery and Isolation Exploiting Semantics Oracle Database TANGO Replication Database Data management Software Computing
392	Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Metalogic Proof theory Logic in computer science Formal languages First-order logic Multiset Presburger arithmetic Quantifier elimination Logic Mathematics Mathematical logic
393	SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Ivan Kuraj ABSTRACT We introduce SciFe, a tool for automated generation of complex structures, suitable for tasks such as automated test Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-13 07:09:29 Higher-order functions Search algorithms Data types Type theory Enumerated type Backtracking Generator Brute-force search Combinatory logic Computing Software engineering Computer programming
394	Notes on Data Structures and Programming Techniques (CPSC 223, SpringJames Aspnes29T08:59:Contents Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-29 08:59:52 C programming language Data types Procedural programming languages Cross-platform software Source code Pointer C Macro Recursion Computing Computer programming Software engineering
395	Tango: Distributed Data Structures over a Shared Log Mahesh Balakrishnan∗, Dahlia Malkhi∗, Ted Wobber∗, Ming Wu‡, Vijayan Prabhakaran∗ Michael Wei§, John D. Davis∗, Sriram Rao†, Tao Zou¶, Aviad Zuckk ∗ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-11-07 16:40:48 Transaction processing Database management systems Relational database management systems Extensible Storage Engine Algorithms for Recovery and Isolation Exploiting Semantics Oracle Database TANGO Replication Concurrency control Data management Software Computing
396	MIDWESTERN HIGHER EDUCATION COMPACT Measuring the Efficiency of Postsecondary Institutions: A Regression-based Approach to Adjusting for Differences in Cost Structures Aaron S. Horn Add to Reading List Source URL: www.mhec.org Language: English - Date: 2015-04-28 18:21:25 Education Academia Knowledge Education policy Decreasing graduation completion rates in the United States Carnegie Classification of Institutions of Higher Education Higher education in the United States Integrated Postsecondary Education Data System United States Department of Education
397	Notes on Data Structures and Programming Techniques (CPSC 223, SpringJames Aspnes29T08:59:Contents Add to Reading List Source URL: cs.yale.edu Language: English - Date: 2015-04-29 08:59:52 C programming language Data types Procedural programming languages Cross-platform software Source code Pointer C Macro Recursion Computing Computer programming Software engineering
398	Ordered Sets in the Calculus of Data Structures Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-06-07 15:38:49 Metalogic Model theory Elementary mathematics Formal languages Function Finite set Infinity Quantifier elimination Set Mathematics Logic Mathematical logic
399	Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-04-04 04:21:28 Automated theorem proving Formal methods Logic in computer science Model theory KeY First-order logic Isabelle Formal verification Predicate transformer semantics Mathematics Theoretical computer science Mathematical logic
400	Hierarchical Mixture Models for Nested Data Structures Jeroen K. Vermunt1 and Jay Magidson2 1 2 Add to Reading List Source URL: www.statisticalinnovations.com Language: English - Date: 2006-09-05 12:15:13 Regression analysis Categorical data Estimation theory Expectation–maximization algorithm Mixture model Latent class model Mixture distribution Hidden Markov model Markov chain Statistics Statistical models Markov models

UPDATE